method of leading variable

[计] 引入变量法